以上来源于: WordNet
In this paper, we proved that the definition of a semilattice as a universal algebra and the definition of a semilattice as a partial ordered set are equivalent.
本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的。
The concept direct products of BCI-Algebra by using the universal property is introduced and uniqueness and existence of direct products of BCI-Alegbra are also proved.
用泛性质定义了BCI -代数的直积，并证明了直积的存在性和唯一性。
应用推荐